package com.tressatisfiability.client;

import com.google.gwt.user.client.rpc.AsyncCallback;
import com.tressatisfiability.shared.Formula;

public interface ServiceAsync {


	void solve3Sat(String q, AsyncCallback<Formula> callback);

	void retry(AsyncCallback<Formula> callback);

}
